#define quickread
#ifdef quickread
#include <cstdio> 
template <typename T>
inline void read(T& x)
{
    int c=getchar(), f=1; x=0;
    while(c<'0'||'9'<c) {if(c=='-') f=-1; c=getchar();}
    while('0'<=c&&c<='9') 
        x=(x<<3)+(x<<1)+c-'0', c=getchar();
    x*=f;
}
template <typename T>
inline void quickwrite(T x)
{
    if(x<0) putchar('-'), x*=-1;
    if(x>=10) quickwrite(x/10);
    putchar(x%10+'0');
}
#else 
#include <iostream>
#endif
using namespace std;
#define DEBUG
/*
* a&=a^
* a&a=a, a^a=0
* [l, r]是a[]的取值范围

* 设1~n都是l
* 枚举a[n-1], a[n]
* 前n-2个&的结果为0，^的结果为l
* 问题转化为a[n-1]&a[n]==l^a[n-1]*a[n]

* l的位是1：a[n-1]==a[n]==0
    否则：a[n-1]==a[n],当前位都是0或者1
* ->枚举最高位1，当前位无论是0/1，都定为0
    直至ans>=l

* 为什么不能是只枚举a[n]?
    l&a[n]==l^a[n] 当且仅当l=0||l=1时成立
*/
using ll=long long;
ll n, l, r, k;


void init()
{
    read(n), read(l), read(r), read(k);

}

void solve()
{
    init();
    if(n%2) {printf("%lld\n", l); return;} //奇数，等于自身
    if(n==2) {printf("-1\n"); return;} //只有两个数， &=a, ^=0,唯一合法解(0, 0)

    ll ans=1;
    while(ans<=r)
    {
        if(ans>l) //当前在取值范围内
        {
            if(k<=n-2) printf("%lld\n", l);
            else printf("%lld\n", ans);
            return;
        }
        ans<<=1;
    }
    printf("-1\n");
}

// #undef DEBUG
signed main()
{
    #ifdef DEBUG
        freopen("../in.txt", "r", stdin);
        freopen("../out.txt", "w", stdout);
    #endif
    #ifndef quickread
    ios::sync_with_stdio(0);
    cin.tie(0); cout.tie(0);
    #endif

    int T=1; scanf("%d", &T);
    while(T--) 
    {
        solve();
    }
    return 0;
}
